attribute quotient.rec [recursor]
